#ifndef __TIMER_H
#define __TIMER_H

extern void Timer_Init(void);
extern uint16_t Timer_GetCounter(void);

#endif